val foi : int -> float
val vRot : float
val vTrans : float
val rotY : float ref
val rotX : float ref
val rotZ : float ref
val trX : float ref
val trY : float ref
val trZ : float ref
val zoom : float ref
val vZoom : float
val width : int ref
val height : int ref
val polyMode : [ `fill | `line | `point ] ref
val drawEnable : bool ref
val resetTrans : unit -> unit
val resetRot : unit -> unit
val reset : unit -> unit
val parseTab : Gl.point3 array ref
val colorTab : Gl.rgb array ref
val area : < add : GObj.widget -> unit; .. > -> GlGtk.area ref
val drawMap : < swap_buffers : unit -> 'a; .. > ref -> 'a
val drawGL : < swap_buffers : unit -> 'a; .. > ref -> unit -> unit
val inputManager : GdkEvent.Key.t -> unit
val drawNewFile : string -> (int * int * int * int) list -> unit
val main :
  < add : GObj.widget -> unit; .. > ->
  < event : < connect : < key_press : callback:(GdkEvent.Key.t -> bool) -> 'a;
                          .. >;
              .. >;
    .. > ->
  unit
